Feeds to Scour
SubscribedAll
Scoured 27801 posts in 14.7 ms
Lil' Fun Langs' Guts
taylor.town·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
From Static Benchmarks to Dynamic Protocol: Agent-Centric Text Anomaly Detection for Evaluating LLM Reasoning
arxiv.org·1d
⚡Proof Automation
freest-lang/freest: A programming language for safe concurrency powered by context-free session types.
github.com·1d
🔗Functional Compilers
Dino in the Machine: Surviving the Transformer Latency Trap in C++
hackernoon.com·23h
🏗️Compiler Archaeology
State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more
philipzucker.com·1d
⚔️Lean Tactics
PEP 827 – Type Manipulation
peps.python.org·4d·
Discuss: Lobsters, Hacker News
💧Liquid Types
Portswigger Walkthrough Lab: Username enumeration via subtly different responses
infosecwriteups.com
·34m
🌐DNS Security
Parse, Don't Guess
architecture-weekly.com·13h
✅Format Verification
Generic methods arrive in Golang, but they weren't the top dev demand
theregister.com·13h
⬆️Lambda Lifting
Structured Outputs for LLMs
ternarysearch.blogspot.com·23h·
Discuss: Hacker News, ternarysearch.blogspot.com
🌳Context free grammars
Gram 1.0 released
lwn.net·15h
🌀Brotli Internals
Identity drift
rhollick.wordpress.com·15h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
I built a persistent memory layer for AI agents in Rust
news.ycombinator.com·10h·
Discuss: Hacker News
🦀Rust Borrowing
A Foundation for Differentiable Logics using Dependent Type Theory
arxiv.org·1d
🔠Type-Level Programming
The 185-Microsecond Type Hint
blog.sturdystatistics.com·8h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
February quick-takes
blog.senko.net·9h
🌊Streaming Algorithms
Beyond Pandas: Architecting High-Performance Python Pipelines
hackernoon.com·10h
🌊Stream Processing
Translating C To Rust: Lessons from a User Study
papers.cool·1d
🦀Rust Borrowing
A rather disorganized rant about LLMs
boston.conman.org·45m
🐛Fuzzing
Outline-oriented codebase for a coding agent
blog.fooqux.com·13h·
Discuss: Hacker News
🌳Incremental Parsing

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help